<?php
/**
 * Created by PhpStorm.
 * User: leo
 * Date: 2018/5/16
 * Time: 17:36
 */
session_start();
if(isset($_SESSION['stu_num'])){
    unset($_SESSION['stu_num']);
    echo '1';
    exit();
}